A First Order Theory of Planning, Knowledge, and Action
نویسنده
چکیده
Most AI planners work on the assumption that they have complete knowledge of their problem domain and situation so that planning an action consists of searching for an action sequence that achieves some desired goal. In actual planning situations, we rarely know enough to map out a detailed plan of action when we start out. Instead, we initially draw up a sketchy plan and fill in details as we proceed. This paper presents a formalism based upon a syntactic logic of knowledge which is expressive enough to describe this flexible planning process.
منابع مشابه
Analysis and Assessment of Communicative Action Indicators and Variables; a Case of Tehran city, Iran
While there are a wide variety of studies about communicative action theory of Habermas, there is the need for building of indicators and variables for quantitative methods of assessing this concept in a particular case study. Especially as the development of communicative action theory has created new perspectives in urban planning, it is necessary to assess and promote this concept in cities ...
متن کاملA survey on knowledge, attitude and practice of married midwives of Kerman city about family planning in 1994
Midwives are among the trainer's of family planning programs who have direct contact with the group of women in reproductive ages. This survey was carried out on all married midwives of Kerman city ( n=57) in July 1994, in order to determine their knowledge, attitude and practice about family planning using questionnaire prepared by investigators. Among the respondents: 40.3℅ were technicia...
متن کاملA First-order Theory of Communication and Multi-agent Plans
This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communic...
متن کاملAgility Factors in Cold Supply Chain Using GRAY-DEMATEL and AHP
Nowadays, major challenges in the cold chain of perishable products, such as dairy products, are that these products do not reach customers on time. Answering the question of how to make the cold supply chain of perishable products more agile, the possibility of more control over this issue can be increased. This study tries to investigate the factors affecting the agility of the cold supply ch...
متن کاملنظریه پردازی بر فرآیند انتقال دانش نظری به حوزه عمل در پرستاری: رویکرد گراندد تئوری
Introduction & Objective: Knowledge transfer and in fact, the bridging of theory and practice is one of the main concerns of all academic disciplines. Getting prominent professional status is the thing that can be achieved by knowledge-based function, and of which would be called as successful discipline that it be able to transfer its theoretical paradigmatic claims into practice. Accordingly,...
متن کامل